✨ Effect Handlers

Algebraic Effects, Delimited Continuations, Computational Effects, Control Abstraction

Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·14h·
Discuss: Hacker News
✨Algebraic Effects
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·9h·
Discuss: ws-dl.blogspot.com
📊Quantization
AI whiplash, and Neovim in the age of AI
dlants.me·3h·
Discuss: Hacker News
⚡Proof Automation
Machine Learning Fundamentals: dimensionality reduction
dev.to·18h·
Discuss: DEV
📐Linear Algebra
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
JavaScript Microtasks: A Comprehensive Guide the Event Loop
codedynasty.dev·19h·
Discuss: Hacker News
🌊Stream Processing
Zig Interface Revisited
williamw520.github.io·17h·
Discuss: Hacker News
🧩WASM Components
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.org·1d
🔢Denotational Semantics
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·7h·
Discuss: Hacker News
🔗Concatenative Programming
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Almost Always Auto (2013)
herbsutter.com·31m·
Discuss: Hacker News
🔒Type Safety
Exploring Prompt Learning: Using English Feedback to Optimize LLM Systems
towardsdatascience.com·11h
💻Local LLMs
Effective Practices for Coding with a Chat-Based AI
infoq.com·10h·
Discuss: Hacker News
🔄Language Evolution
A Wide Reduction Trick (2022)
words.filippo.io·7h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Robust Route Planning for Sidewalk Delivery Robots
arxiv.org·6h
🔗Topological Sorting
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·21h·
Discuss: DEV
📝Concrete Syntax
Inheritance over composition, sometimes
death.andgravity.com·2d
🦀Rust Macros
Solving the Context Rot Problem for Coding Agents
install.md·14h·
Discuss: Hacker News
🌳Incremental Parsing